/**
 * CompSoC hardware platform MicroBlaze tile API
 *
 * Copyright 2011 Delft University of Technology
 */

#ifndef __COMPSOC_H__
#define __COMPSOC_H__

#define FSL_VFCM_TIMER        0
#define FSL_VFCM_FREQ         1
#define FSL_VFCM_UNGATE       2
#define FSL_MONITOR           3
#define FSL_TILE_LOCAL_TIMER  4
#define FSL_TILE_GLOBAL_TIMER 5

/*
 * Xilinx Headers from Standalone BSP
 */

#include "mb_interface.h"
#include "fsl.h"

/*
 * CompSoC Headers
 */

#include "hw_dma.h"
#include "hw_vfcm.h"
#include "os_monitor.h"

#endif
